Usenix Security '23 - Formal Analysis Of Spdm: Security Protocol And Data Model Version 1.2

USENIX Security '23 - Formal Analysis of SPDM: Security Protocol and Data Model version 1.2

USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...

Security Protocol and Data Model (SPDM) Tutorial – SPDM 1.2

DMTF

USENIX Security '23 - Automated Analysis of Protocols that use Authenticated Encryption: How...

USENIX Security '23 - Formal Analysis and Patching of BLE-SC Pairing

USENIX Security '23 - Systematic Assessment of Fuzzers using Mutation Analysis

USENIX Security '23 - Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, &...

USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems

USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital...

USENIX Security '23 - Person Re-identification in 3D Space: A WiFi Vision-based Approach

USENIX Security '23 - A Two-Decade Retrospective Analysis of a University's Vulnerability to...

USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis

USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis

Security Protocol and Data Model (SPDM) Tutorial – SPDM 1.0

DMTF

Security Protocol and Data Model (SPDM) Tutorial – SPDM 1.1

DMTF

USENIX Security '23 - Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit...

USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals

USENIX Security '23 - HyPFuzz: Formal-Assisted Processor Fuzzing